Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
211	Computation of Equilibria in OLG Models with Many Heterogeneous Households Sebastian Rausch∗ Department of Economics, University of Duisburg-Essen, Germany Ruhr Graduate School in Economics, Essen, Germany Add to Reading List Source URL: www.mpsge.org Language: English - Date: 2007-06-11 01:00:00
212	Computational Models for Expressive Dimensional Typography Peter Sungil Cho s.b. Mechanical Engineering, Design, and Computation Massachusetts Institute of Technology Add to Reading List Source URL: acg.media.mit.edu Language: English - Date: 2002-12-13 12:03:23
213	Dipartimento di Informatica, University of Pisa Notes on Models of Computation Part I-V Introduction, Preliminaries Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2013-05-13 03:57:12
214	On the completeness of quantum computation models Pablo Arrighi ´ Ecole normale sup´erieure de Lyon Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:52 Mathematical logic Applied mathematics Computable function Recursive set Enumeration Function Numbering Church–Turing thesis Computability Computability theory Theory of computation Mathematics
215	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
216	Embedded Computing Design Resource Guide SOFTWARE Operating Systems: Kernels and tools embedded-computing.com/p9918156 Add to Reading List Source URL: www.state-machine.com Language: English - Date: 2014-07-07 10:50:46 Embedded operating systems Real-time operating systems Cross-platform software QP Software architecture Software Computing Models of computation
217	JFP 19 (6): 699–722, c Cambridge University Press 2009 699 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2009-11-01 21:42:18 Logic in computer science Programming language semantics Models of computation Denotational semantics Operational semantics Structure Lambda calculus Theoretical computer science Mathematics Mathematical logic
218	MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Fall 2008 Quiz #2: October 10, 2008 Name Add to Reading List Source URL: 6004.csail.mit.edu Language: English - Date: 2012-01-17 10:22:27 Electronic engineering Automata theory Finite-state machine Electronics Throughput Flip-flop State diagram State Models of computation Digital electronics Theoretical computer science
219	Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-09-19 12:06:16 Control flow Models of computation Subroutines Recursion Scheme programming language Tail call Stack Data-flow analysis State Software engineering Computer programming Computing
220	Data Center Network Throughput Analysis using Queueing Petri Nets Piotr Rygielski and Samuel Kounev Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KITKarlsruhe, Germany Add to Reading List Source URL: www.relate-itn.eu Language: English - Date: 2014-09-09 04:41:09 Probability and statistics Models of computation Mathematical sciences Markov models Teletraffic Petri net Queueing theory Traffic generation model Simulation Statistics Operations research Stochastic processes

UPDATE